Characterizing shapes of compacta
نویسندگان
چکیده
منابع مشابه
Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions
Most protocol analysis tools and techniques operate by proving/disproving security properties of a protocol formulated as predicates in a specific logic. Starting from some initial assumptions, theorem proving or model checking (such as in [8]) techniques can be used to check if a certain security property follows. In this paper, we take a different approach to this problem. Instead of checking...
متن کاملAronszajn Compacta ∗
We consider a class of compacta X such that the maps from X onto metric compacta define an Aronszajn tree of closed subsets of X.
متن کاملCharacterizing Task Usage Shapes in Google’s Compute Clusters
The increase in scale and complexity of large compute clusters motivates a need for representative workload benchmarks to evaluate the performance impact of system changes, so as to assist in designing better scheduling algorithms and in carrying out management activities. To achieve this goal, it is necessary to construct workload characterizations from which realistic performance benchmarks c...
متن کاملNoetherian Types of Homogeneous Compacta and Dyadic Compacta
The Noetherian type of a space is the least κ such that it has a base that is κ-like with respect to reverse inclusion. Just as all known homogeneous compacta have cellularity at most c, they satisfy similar upper bounds in terms of Noetherian type and related cardinal functions. We prove these and many other results about these cardinal functions. For example, every homogeneous dyadic compactu...
متن کاملDefining and characterizing protein surface using alpha shapes.
The alpha shape of a molecule is a geometrical representation that provides a unique surface decomposition and a means to filter atomic contacts. We used it to revisit and unify the definition and computation of surface residues, contiguous patches, and curvature. These descriptors are evaluated and compared with former approaches on 85 proteins for which both bound and unbound forms are availa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1972
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1972-13057-x